<?php
 var_dump(empty(3.8));